" Ulrich Kohlenbach" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Applied proof theory: Proof interpretations and their use in mathematics

Автор: Ulrich Kohlenbach

Категория: Mathematical logic

Размер книги: 4.22 Mb

Logic colloquium 2007

Автор: Françoise Delon, Автор: Ulrich Kohlenbach, Автор: Penelope Maddy, Автор: Frank Stephan

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

Размер книги: 1.52 Mb